#include "../data.h"
#include "../input/input.h"
#include "../parser/parser.h"
#include "converter.h"

int main (int argc, char** argv){
    if(argc!=2){
		printf("Eksekusi dengan:\n");
		printf("main Nama_File\n");
	}
	else{
		printf("Loading file...\n");
		Read(argv[1]);
		int i;
		for(i = 0; i < lnum; i++){
			printf("%s\n",Line[i]);
		}
        parse_premise();
        parse_goal();
        
        for (i=0;i<tvar;++i) printf("%s\n",variable[i]);
        
        convert();
	}
    return 0;
}
